Section: New Software and Platforms

i-score

The i-score software, whose first definition dates back to 2005 [1] , [6] , aims at offering graphical views, aka scores, of interactive system. It has already been used to experiment various graphical user interface proposals to define time constraints between processes. It has been the subject of Jaime Arias's PhD [11] . Several formalizations of its semantics have been proposed [36] , [20] , [21] , [19] . In 2016, especially within the ADT project “Tuilage”, i-score independent modules should be identified and integrated as possible GUIs for the T-calculus.